Performance Validation of Fault-Tolerance Software: A Compositional Approach
نویسندگان
چکیده
This paper discusses the lessons learned in the modeling of a software fault tolerance solution built by a consortium of universities and industrial companies for an Esprit project called TIRAN. The requirements of high flexibility and modularity for the software have lead to a modeling approach strongly based on compositionality. Since the interest was for assessing both correctness and performance of the proposed solution, we have cared for these two aspects at the same time, and, by means of an example, we show how this was a central aspect of our analysis.
منابع مشابه
Timed Probabilistic Reasoning on UML Specialization for Fault Tolerant Component Based Architectures
Architecture-based reasoning about reliability and fault tolerance is gaining increasing importance as component-based software architectures become more widespread. Architectural description languages (ADLs) are used to specify high-level views of software design. ADLs usually involve a static, structural view of a system together with a dynamic, state-transition-style semantics, facilitating ...
متن کاملStability Assessment Metamorphic Approach (SAMA) for Effective Scheduling based on Fault Tolerance in Computational Grid
Grid Computing allows coordinated and controlled resource sharing and problem solving in multi-institutional, dynamic virtual organizations. Moreover, fault tolerance and task scheduling is an important issue for large scale computational grid because of its unreliable nature of grid resources. Commonly exploited techniques to realize fault tolerance is periodic Checkpointing that periodically ...
متن کاملPattern-Based Synthesis of Fault-Tolerant Embedded Systems∗
The general trend towards complex technical systems with embedded software results in an increasing demand for dependable embedded systems. In this position paper, we give an overview about a pattern-based approach for the development of fault-tolerant, component-based, embedded systems. Four aspects of this approach are addressed in this paper: (1) the approach is based on an appropriate model...
متن کاملA Compositional Approach to Connector Construction
We develop a notion of higher-order connector towards supporting the systematic construction of architectural connectors for software design. The idea is that individual properties of connectors, such as security and fault-tolerance, can be designed separately as higher-order connectors. Complex connectors can then be described as suitable combinations of high-order connectors and basic connect...
متن کاملTeraflops Supercomputer: Architecture and Validation of the Fault Tolerance Mechanisms
ÐIntel Corporation developed the Teraflops supercomputer for the US Department of Energy (DOE) as part of the Accelerated Strategic Computing Initiative (ASCI). This is the most powerful computing machine available today, performing over two trillion floating point operations per second with the aid of more than 9,000 Intel processors. The Teraflops machine employs complex hardware and software...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001